Towards validated real-time software
نویسندگان
چکیده
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for design and the application of model-checking techniques for validation of real-time properties. Validation is carried out on a global formal model (timed automata) taking into account the effective implementation of the application on the target hardware architecture as well as its external environment behavior.
منابع مشابه
Towards Improving Robotic Software Reusability Without Losing Real-Time Capabilities
We aim at improving sharability and reusability of software for autonomous mobile robots without sacrificing real-time capabilities. As a first step towards this goal, we focus on real-time Linux and we introduce the concept of a robotic hardware abstraction layer that provides for software reusability on different types of hardware and in real-time or non real-time context. We also present a p...
متن کاملTowards Automated Generation of Time-Predictable Code
Knowledge of the worst-case execution time of software components is essential in safety-critical hard real-time systems. The analysis thereof is not trivial as the execution time depends on many factors, including the underlying hardware platform, the program structure, and the code produced by the compiler. Often, the execution time is variable and highly sensitive to the input data the progr...
متن کاملRecommendation Based Process Modeling Support: Method and User Experience
Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in process modeling. The efficiency of users may decrease when starting process modeling with minimal expertise and no obvious modeling support. This paper describes the first contribution towards a theoretically sound and empiric...
متن کاملTowards a Real-time Component Framework for Software Health Management
The complexity of software in systems like aerospace vehicles has reached the point where new techniques are needed to ensure system dependability. Such techniques include a novel direction called ‘Software Health Management’ (SHM) that extends classic software fault tolerance with techniques borrowed from System Health Management. In this paper the initial steps towards building a SHM approach...
متن کاملReal-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems
The design process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design decisions. In order to provide the early access, an automatic generation of its simulation models is advocated. While Verilog and VHDL are being extended in order to improve their system-level capabilities, Syst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000